Abstract Interpretation Frameworks
نویسندگان
چکیده
منابع مشابه
Abstract Interpretation Frameworks
Interpretation Frameworks Patrick Cousot LIENS, École Normale Supérieure 45, rue d’Ulm 75230 Paris cedex 05 (France) [email protected] Radhia Cousot LIX, École Polytechnique 91128 Palaiseau cedex (France) [email protected]
متن کاملAbstract Argumentation Scheme Frameworks
Argumentation Scheme Frameworks Katie Atkinson and Trevor Bench-Capon Department of Computer Science University of Liverpool Liverpool L69 3BX UK {K.M.Atkinson,tbc}@liverpool.ac.uk Abstract. This paper presents an approach to modelling and reasoning about arguments that exploits and combines two of the most popular mechanisms used within computational modelling of argumentation: argumentation s...
متن کاملSplitting Abstract Dialectical Frameworks
Among the abundance of generalizations of abstract argumentation frameworks, the formalism of abstract dialectical frameworks (ADFs) proved to be powerful in modelling various argumentation problems. Implementations of reasoning tasks that come within ADFs struggle with their high computational complexity. Thus methods simplifying the evaluation process are required. One such method is splittin...
متن کاملDecomposing Abstract Dialectical Frameworks
We introduce a decomposition scheme for abstract dialectical frameworks (ADFs). The decomposition proceeds along the ADF’s strongly connected components. For several semantics, the decomposition-based version coincides with the original semantics. For others, the scheme defines new semantics. These new semantics allow us to deal with pertinent problems such as odd-length negative cycles in a mo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Logic and Computation
سال: 1992
ISSN: 0955-792X,1465-363X
DOI: 10.1093/logcom/2.4.511